Encyclopédie Universelle. 2012.
équation — [ ekwasjɔ̃ ] n. f. • 1613; h. XIIIe « égalité »; lat. æquatio 1 ♦ (1637) Math. Relation conditionnelle existant entre deux quantités et dépendant de certaines variables (ou inconnues). Poser une équation. Mettre en équation un phénomène complexe … Encyclopédie Universelle
DÉMONSTRATION (THÉORIE DE LA) — La théorie de la démonstration est la logique de la logique. En contraste avec d’autres sous domaines tels que la théorie des modèles, les grandes questions qui ont tant passionné nos pères ont laissé une trace vivace dans cette discipline, qui… … Encyclopédie Universelle
réductionnel — ● réductionnel, réductionnelle adjectif Mitose réductionnelle, nom donné à la première des deux divisions cellulaires qui constituent la méiose. (S oppose à équationnel.) ● réductionnel, réductionnelle (expressions) adjectif Mitose réductionnelle … Encyclopédie Universelle
réductionnelle — ● réductionnel, réductionnelle adjectif Mitose réductionnelle, nom donné à la première des deux divisions cellulaires qui constituent la méiose. (S oppose à équationnel.) ● réductionnel, réductionnelle (expressions) adjectif Mitose réductionnelle … Encyclopédie Universelle
PhoX — (logiciel) PhoX (1994) est un assistant de preuve développé par Christophe Raffalli à l Université de Savoie et antérieurement à Jussieu avec la participation de Philippe Curmin, Pascal Manoury et Paul Roziere. Son nom provient du fait qu un… … Wikipédia en Français
PhoX (logiciel) — PhoX (1994) est un assistant de preuve développé par Christophe Raffalli à l Université de Savoie et antérieurement à Jussieu avec la participation de Philippe Curmin, Pascal Manoury et Paul Roziere. Son nom provient du fait qu un renard (en… … Wikipédia en Français
Phox — (logiciel) PhoX (1994) est un assistant de preuve développé par Christophe Raffalli à l Université de Savoie et antérieurement à Jussieu avec la participation de Philippe Curmin, Pascal Manoury et Paul Roziere. Son nom provient du fait qu un… … Wikipédia en Français
Programmation logique — La programmation logique est une forme de programmation qui définit les applications à l aide d un ensemble de faits élémentaires les concernant et de règles de logique leur associant des conséquences plus ou moins directes. Ces faits et ces… … Wikipédia en Français
ovi- — ov(o) ♦ Élément, du lat. ovum « œuf ». ⇒ oo . ov(o) , ovi éléments, du lat. ovum, oeuf . ovi V. ov(o) . I. ⇒OVI 1, élém. formant Élém. tiré du lat … Encyclopédie Universelle
